#include <stdint.h>

void bsp_os_delay_ms(uint32_t ms);
void bsp_delay_ms(uint32_t ms);
void bsp_delay_us(uint32_t us);
